гомотопический морфизм

См. также в других словарях:

• ГОМОТОПИЧЕСКИЙ ТИП — топологизированной категории проективная система топологич. пространств, ассоциированная с топологизированной категорией и позволяющая определять гомотопические группы этой категории, группы гомологии и когомологий со значениями в абелевой группе …   Математическая энциклопедия

• ГОМОТОПИЧЕСКАЯ ГРУППА — обобщение фундаментальной группы, предложенное В. Гуревичем [1] в связи с задачей о классификации непрерывных отображений. Г. г. определены для любого . При Г. г. совпадает с фундаментальной группой. Определение Г. г. не конструктивно, и поэтому… …   Математическая энциклопедия

• СИМПЛИЦИАЛЬНОЕ МНОЖЕСТВО — (прежние названия полусимплициальный комплекс, полный полусимплициальный комплекс) симплициальный объект категории множеств Ens, т. е. система множеств (n х слоев) , связанных отображениями , (операторами граней), и si: К п Kn+1, (операторами… …   Математическая энциклопедия

• АЛГЕБРАИЧЕСКАЯ ПОВЕРХНОСТЬ — двумерное алгебраическое многообразие. Вместе с алгебраическими кривыми А. п. представляют собой наиболее изученный класс алгебраич. многообразий. Богатство задач и идей, применяемых для их решения, делает теорию А. п. одним из самых интересных… …   Математическая энциклопедия

• S-ДВОЙСТВЕННОСТЬ — стационарная двойственность, Спеньера двойственность, двойственность в теории гомотопии, имеющая место (при отсутствии ограничений на размерность пространств) для аналогов обычных гомотопич. и когомотопич. групп в надстроечной категории для S… …   Математическая энциклопедия

• ПОСТНИКОВА СИСТЕМА — натуральная система, гомотопическая резольвента, П разложение общего типа, последовательность расслоений слоями к рых являются Эйленберга Маклейна пространства К(p п, п), где p п нёк рая группа (абелева при п>1). Введена М. М. Постниковым [1] …   Математическая энциклопедия

• ТОПОЛОГИЗИРОВАННАЯ КАТЕГОРИЯ — категория, снабженная топологией Гротендика. Пусть С категория с расслоенными произведениями. Задать топологию Гротендика в Сзначит задать для каждого объекта множество Cov (X) семейств морфизмов называемых покрытиями, причем должны выполняться… …   Математическая энциклопедия

• ЭТАЛЬНАЯ ТОПОЛОГИЯ — наиболее важный пример топологии Гротендика (см. Тополoгизированная категория), позволяющий дать определение когомологич. и гомотопич. инвариантов для абстрактных алгебраич. многообразий и схем. Пусть X схема. Э. т. на Xназ. категория Xet… …   Математическая энциклопедия